HINCHEY, Mike: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Software Technology: 10 Years of Innovation in IEEE Computer (10 Years of Innovation) || Seven Principles of Software Testing

Year:

2018

Language:

english

File:

PDF, 154 KB

english, 2018

2

Software engineering and formal methods

Hinchey, Mike, Jackson, Michael, Cousot, Patrick, Cook, Byron, Bowen, Jonathan P., Margaria, Tiziana

Journal:

Communications of the ACM

Year:

2008

Language:

english

File:

PDF, 435 KB

english, 2008

3

Software Technology: 10 Years of Innovation in IEEE Computer (10 Years of Innovation) || Continuous Model-Driven Engineering

Year:

2018

Language:

english

File:

PDF, 638 KB

english, 2018

4

Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods

Joaquin Peña, Christopher A. Rouff, Mike Hinchey, Antonio Ruiz-Cortés

Journal:

Software & Systems Modeling

Year:

2011

Language:

english

File:

PDF, 676 KB

english, 2011

5

Experience from the DARPA Urban Challenge || Empirical Evaluation of an Autonomous Vehicle in an Urban Environment

Rouff, Christopher, Hinchey, Mike

Year:

2012

Language:

english

File:

PDF, 2.70 MB

english, 2012

6

[ACM Press the 16th International Software Product Line Conference - Salvador, Brazil (2012.09.02-2012.09.07)] Proceedings of the 16th International Software Product Line Conference on - SPLC '12 -volume 1 - Runtime variability for dynamic reconfiguration in wireless sensor network product lines

Ortiz, Óscar, García, Ana Belén, Capilla, Rafael, Bosch, Jan, Hinchey, Mike

Year:

2012

File:

PDF, 793 KB

2012

7

[IEEE 2009 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM) - Hong Kong, China (2009.12.8-2009.12.11)] 2009 IEEE International Conference on Industrial Engineering and Engineering Management - Applications of software reliability using the IEEE/AIAA recommended practice on software reliability

Schneidewind, Norman, Hinchey, Mike

Year:

2009

Language:

english

File:

PDF, 526 KB

english, 2009

8

[IFIP – The International Federation for Information Processing] Biologically-Inspired Collaborative Computing Volume 268 || Resource-Aware Clustering of Wireless Sensor Networks Based on Division of Labor in Social Insects

Hinchey, Mike, Pagnoni, Anastasia, Rammig, Franz J., Schmeck, Hartmut

Year:

2008

Language:

english

File:

PDF, 337 KB

english, 2008

9

Simplicity in IT: The Power of Less

Margaria, Tiziana, Hinchey, Mike

Journal:

Year:

2013

Language:

english

File:

PDF, 943 KB

english, 2013

10

Software Technology: 10 Years of Innovation in IEEE Computer (10 Years of Innovation) || Requirements Engineering for Adaptive and Self-Adaptive Systems

Year:

2018

Language:

english

File:

PDF, 606 KB

english, 2018

11

Editorial

Jonathan Bowen, Mike Hinchey

Journal:

Information and Software Technology

Year:

1995

Language:

english

File:

PDF, 293 KB

english, 1995

12

Guest Editor’s introduction

Mike Hinchey, Tiziana Margaria, Bernhard Steffen

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2009

Language:

english

File:

PDF, 71 KB

english, 2009

13

Desert Island Column

Journal:

Automated Software Engineering

Year:

2008

Language:

english

File:

PDF, 191 KB

english, 2008

14

Introduction to Innovations in System and Software Engineering

Shawn A. Bohner, Mike Hinchey

Journal:

Innovations in Systems and Software Engineering

Year:

2005

Language:

english

File:

PDF, 92 KB

english, 2005

15

Adaptive reflex autonomicity for real-time systems

Roy Sterritt, Mike Hinchey

Journal:

Innovations in Systems and Software Engineering

Year:

2009

Language:

english

File:

PDF, 362 KB

english, 2009

16

Report on Z user meeting (ZUM '94)

Jonathan Bowen, Mike Hinchey

Journal:

Information and Software Technology

Year:

1995

Language:

english

File:

PDF, 171 KB

english, 1995

17

[IFIP Advances in Information and Communication Technology] Distributed, Parallel and Biologically Inspired Systems Volume 329 || Scenario-Based Modeling in Industrial Information Systems

Hinchey, Mike, Kleinjohann, Bernd, Kleinjohann, Lisa, Lindsay, Peter A., Rammig, Franz J., Timmis, Jon, Wolf, Marilyn

Year:

2010

Language:

english

File:

PDF, 554 KB

english, 2010

18

The ASSL approach to specifying self-managing embedded systems

Emil Vassev, Mike Hinchey

Journal:

Concurrency and Computation: Practice and Experience

Year:

2012

Language:

english

File:

PDF, 1.82 MB

english, 2012

19

ICT Research Experience

Breitman, Karin, Hinchey, Mike

Journal:

Year:

2008

Language:

english

File:

PDF, 465 KB

english, 2008

20

Computer Celebrates NASA's 50th Anniversary

Hinchey, Mike, Curto, Paul A., Hamilton, Scott

Journal:

Year:

2008

Language:

english

File:

PDF, 1.13 MB

english, 2008

21

Guest Editors' Introduction: Evolving Critical Systems

Coyle, Lorcan, Hinchey, Mike, Nuseibeh, Bashar, Fiadeiro, José Luiz

Journal:

Year:

2010

Language:

english

File:

PDF, 2.32 MB

english, 2010

22

Where Software Engineering Meets ...

Chang, Carl K., Weiss, David M., Hinchey, Mike

Journal:

Year:

2011

Language:

english

File:

PDF, 1.26 MB

english, 2011

23

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 7504 || A Rule-Based and Imperative Language for Biochemical Modeling and Simulation

Eleftherakis, George, Hinchey, Mike, Holcombe, Mike

Year:

2012

Language:

english

File:

PDF, 328 KB

english, 2012

24

Experience from the DARPA Urban Challenge || Vehicle Architecture and Robotic Perception for Autonomous Driving in Urban Environments

Rouff, Christopher, Hinchey, Mike

Year:

2012

Language:

english

File:

PDF, 2.46 MB

english, 2012

25

[IEEE 2010 7th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe) - Oxford, TBD, England (2010.03.22-2010.03.26)] 2010 Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems - SPAACE IV: Self-Properties for an Autonomous & Autonomic Computing Environment Part IV A Newish Hope

Sterritt, Roy, Hinchey, Mike

Year:

2010

Language:

english

File:

PDF, 479 KB

english, 2010

26

Experience from the DARPA Urban Challenge || Software Infrastructure for a Mobile Robot

Rouff, Christopher, Hinchey, Mike

Year:

2012

Language:

english

File:

PDF, 2.06 MB

english, 2012

27

Conquering Complexity || Conquering Complexity Through Distributed, Intelligent Agent Frameworks

Hinchey, Mike, Coyle, Lorcan

Year:

2012

Language:

english

File:

PDF, 1.26 MB

english, 2012

28

Conquering Complexity ||

Hinchey, Mike, Coyle, Lorcan

Year:

2012

Language:

english

File:

PDF, 9.91 MB

english, 2012

29

[IFIP – The International Federation for Information Processing] Biologically-Inspired Collaborative Computing Volume 268 ||

Hinchey, Mike, Pagnoni, Anastasia, Rammig, Franz J., Schmeck, Hartmut

Year:

2008

Language:

english

File:

PDF, 4.26 MB

english, 2008

30

[IFIP – The International Federation for Information Processing] Biologically-Inspired Collaborative Computing Volume 268 || Swarm Robotics: The Coordination of Robots via Swarm Intelligence Principles

Hinchey, Mike, Pagnoni, Anastasia, Rammig, Franz J., Schmeck, Hartmut

Year:

2008

Language:

english

File:

PDF, 100 KB

english, 2008

31

[IFIP Advances in Information and Communication Technology] Distributed, Parallel and Biologically Inspired Systems Volume 329 ||

Hinchey, Mike, Kleinjohann, Bernd, Kleinjohann, Lisa, Lindsay, Peter A., Rammig, Franz J., Timmis, Jon, Wolf, Marilyn

Year:

2010

Language:

english

File:

PDF, 6.80 MB

english, 2010

32

Building Dynamic Software Product Lines

Hinchey, Mike, Park, Sooyong, Schmid, Klaus

Journal:

Year:

2012

Language:

english

File:

PDF, 6.10 MB

english, 2012

33

An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry

Capilla, Rafael, Bosch, Jan, Trinidad, Pablo, Ruiz-Cortés, Antonio, Hinchey, Mike

Journal:

Journal of Systems and Software

Year:

2014

Language:

english

File:

PDF, 2.15 MB

english, 2014

34

[IEEE 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI) - San Francisco, CA, USA (2013.08.14-2013.08.16)] 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI) - Autonomy requirements engineering

Vassev, Emil, Hinchey, Mike

Year:

2013

Language:

english

File:

PDF, 171 KB

english, 2013

35

Autonomy Requirements Engineering

Vassev, Emil, Hinchey, Mike

Journal:

Year:

2013

Language:

english

File:

PDF, 774 KB

english, 2013

36

[IEEE 2011 34th Annual IEEE Software Engineering Workshop (SEW) - Limerick, Ireland (2011.06.20-2011.06.21)] 2011 IEEE 34th Software Engineering Workshop - An ASSL Approach to Handling Uncertainty in Self-adaptive Systems

Vassev, Emil, Hinchey, Mike, Balasubramaniam, Dharini, Dobson, Simon

Year:

2011

Language:

english

File:

PDF, 275 KB

english, 2011

37

[IEEE 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW) - Shenzhen, TBD, China (2012.04.11-2012.04.11)] 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops - Knowledge Representation for Cognitive Robotic Systems

Vassev, Emil, Hinchey, Mike

Year:

2012

Language:

english

File:

PDF, 252 KB

english, 2012

38

[IEEE 2012 IEEE 11th International Conference on Cybernetic Intelligent Systems (CIS) - Limerick (2012.8.23-2012.8.24)] 2012 IEEE 11th International Conference on Cybernetic Intelligent Systems (CIS) - Knowledge representation with KnowLang the marXbot case study

Vassev, Emil, Hinchey, Mike

Year:

2012

Language:

english

File:

PDF, 639 KB

english, 2012

39

[IEEE 2008 13th IEEE International Conference on Engineering of Complex Computer Systems - (ICECCS) - Belfast, Northern Ireland (2008.03.31-2008.04.3)] 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) - Why Predicting Outliers in Software is a Good Thing to Do!

Schneidewind, Norm, Hinchey, Mike

Year:

2008

Language:

english

File:

PDF, 318 KB

english, 2008

40

[ACM Press the International C* Conference - Porto, Portugal (2013.07.10-2013.07.12)] Proceedings of the International C* Conference on Computer Science and Software Engineering - C3S2E '13 - Autonomy requirements engineering

Vassev, Emil, Hinchey, Mike

Year:

2013

Language:

english

File:

PDF, 1.20 MB

english, 2013

41

[IEEE 2011 15th International Software Product Line Conference (SPLC) - Munich, Germany (2011.08.22-2011.08.26)] 2011 15th International Software Product Line Conference - Families (of Products) in Space

Year:

2011

Language:

english

File:

PDF, 170 KB

english, 2011

42

[IEEE 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) - Tokyo, Japan (2009.03.17-2009.03.20)] 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing - Organic Computing and Model-Driven Engineering in Embedded Systems

Hinchey, Mike, Sterritt, Roy

Year:

2009

Language:

english

File:

PDF, 912 KB

english, 2009

43

[IEEE 2009 33rd Annual IEEE Software Engineering Workshop - Skovde, TBD, Sweden (2009.10.13-2009.10.14)] 2009 33rd Annual IEEE Software Engineering Workshop - Complexity Reduction in Developing Autonomic Systems with ASSL

Vassev, Emil, Hinchey, Mike

Year:

2009

Language:

english

File:

PDF, 862 KB

english, 2009

44

[IEEE 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei, Taiwan (2010.08.25-2010.08.27)] 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering - Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL

Vassev, Emil, Hinchey, Mike, Nixon, Paddy

Year:

2010

Language:

english

File:

PDF, 421 KB

english, 2010

45

Sustainable Embedded Software Life-Cycle Planning

Lee, Dong-Hyun, In, Hoh Peter, Lee, Keun, Park, Sooyong, Hinchey, Mike

Journal:

Year:

2013

Language:

english

File:

PDF, 3.10 MB

english, 2013

46

[IEEE 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Oxford, England (2010.03.22-2010.03.26)] 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Evolving Critical Systems

Hinchey, Mike, Coyle, Lorcan

Year:

2010

Language:

english

File:

PDF, 127 KB

english, 2010

47

[IEEE 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei, Taiwan (2010.08.25-2010.08.27)] 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering - The Art of Developing Autonomic Systems - The ASSL Approach

Hinchey, Mike, Vassev, Emil

Year:

2010

Language:

english

File:

PDF, 314 KB

english, 2010

48

[IEEE 2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe 2009) - San Francisco, CA, USA (2009.04.14-2009.04.16)] 2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems - ASSL Specification and Code Generation of Self-Healing Behavior for NASA Swarm-Based Systems

Vassev, Emil, Hinchey, Mike

Year:

2009

Language:

english

File:

PDF, 654 KB

english, 2009

49

[IEEE 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops - Carmona, Spain (2010.05.4-2010.05.7)] 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops - Developing Self-Managing Embedded Systems with ASSL

Vassev, Emil, Hinchey, Mike

Year:

2010

Language:

english

File:

PDF, 954 KB

english, 2010

50

[IEEE 2008 International Multiconference on Computer Science and Information Technology (IMCSIT) - Wisla, Poland (2008.10.20-2008.10.22)] 2008 International Multiconference on Computer Science and Information Technology - Towards Self-Managing Real-Time System

Sterritt, Roy, Hinchey, Mike

Year:

2008

File:

PDF, 241 KB

2008

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски